#include <stdio.h>
void yyrestart(FILE *input_file);
int yyparse(void);
extern int yylex();
extern int yyparse();
extern int yylineno;
int main(int argc, char **argv)
{
    if (argc <= 1)
        return 1;
    FILE *f = fopen(argv[1], "r");
    if (!f)
    {
        perror(argv[1]);
        return 1;
    }
    yyrestart(f);
    yylineno = 1;
    yyparse();
    return 0;
}